Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
431	Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Abstract Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Ontology Information science Semantic Web Technical communication Knowledge representation Tbox Abox Knowledge representation and reasoning Web Ontology Language Description logic Ordered geometry Concept
432	A Methodology for the Structured Unification of Scheme and Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Algorithm Mathematical logic Theoretical computer science Dwight D. Eisenhower
433	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-09-07 15:06:52 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol
434	Turbo Parsers: Dependency Parsing by Approximate Variational Inference Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ ∗ School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, USA Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2010-09-01 07:58:08 Belief propagation Coding theory Probability theory Combinatory logic
435	An Implementation of Multi-Level Modelling in F-Logic Muzaffar Igamberdiev, Georg Grossmann, and Markus Stumptner 1st International Workshop on Multi-Level Modelling (MULTI 2014) Add to Reading List Source URL: miso.es Language: English - Date: 2015-05-19 02:08:58 Knowledge representation Semantic Web Information science Technical communication Knowledge engineering Ontology Interoperability ISO 15926 F-logic
436	PHIL 430: Classical Pragmatism MacMullan Take-Home Final Exam Instructions Add to Reading List Source URL: american-philosophy.org Language: English - Date: 2010-04-29 08:07:30 Charles Sanders Peirce Philosophical logic Philosophy of science Pragmatism Pragmatists Truth John Dewey Meaning The Will to Believe Inquiry Pragmatic theory of truth Pragmaticism
437	Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 Object-oriented programming languages Abstract data types Data types Functional programming Object Combinatory logic Objective-C Associative array Self Object-oriented programming Iterator First-class function
438	Adaptive Runtime Verification Radu Grosu Vienna University of Technology in collaboration with: Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-18 06:21:54 Logic in computer science Runtime verification Succ Smolka
439	Very Efficient Conversions Morten Welinder? Carnegie Mellon University School of Computer Science 5000 Forbes Avenue, Pittsburgh, PA–15213, USA Email: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:53 Logic in computer science Mathematical logic Theoretical computer science Logical consequence Theorem Lambda calculus Rewriting Mathematical proof
440	Curriculum Vitae and List of Publications Hannes Leitgeb August 2015 Department Address Chair of Logic and Philosophy of Language, Alexander von Humboldt Professor, and Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English Epistemology Philosophers of science American philosophers Hannes Leitgeb Logicians Philosophers of mathematics Journal of Philosophical Logic Lottery paradox Philosophy of mathematics Many-valued logic Formal epistemology Index of logic articles

UPDATE